[next] [prev] [prev-tail] [tail] [up]

2.2.13 Integrals 1201 to 1300

Detailed conclusion table per each integral is given by table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given just an F.

In this table,the column N.S. in the table below, which stands for normalized size is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To help make the table fit, Mathematica was abbreviated to MMA.

Problem 1201

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A A B C B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

126 126 321 200 234 310 4258 332 208

N.S.

1 1.00 2.55 1.59 1.86 2.46 33.79 2.63 1.65

time (sec)

N/A 0.157 2.149 0.224 0.566 0.933 0.961 0.627 7.123

Problem 1202

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A B B F(-2) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

214 214 291 304 437 715 0 614 367

N.S.

1 1.00 1.36 1.42 2.04 3.34 0.00 2.87 1.71

time (sec)

N/A 0.248 3.735 0.263 0.532 1.029 0.000 0.729 7.302

Problem 1203

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A A A B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

302 302 299 495 382 380 711 8276 494

N.S.

1 1.00 0.99 1.64 1.26 1.26 2.35 27.40 1.64

time (sec)

N/A 0.358 6.425 0.135 0.590 1.322 0.272 5.776 5.383

Problem 1204

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A A A B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

219 219 221 307 252 250 445 4557 259

N.S.

1 1.00 1.01 1.40 1.15 1.14 2.03 20.81 1.18

time (sec)

N/A 0.183 2.299 0.130 0.535 0.946 0.182 2.670 5.270

Problem 1205

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A A A A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

144 144 130 159 148 146 240 2046 142

N.S.

1 1.00 0.90 1.10 1.03 1.01 1.67 14.21 0.99

time (sec)

N/A 0.118 1.033 0.092 0.710 1.190 0.146 1.336 5.226

Problem 1206

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A A A C A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

140 140 126 164 175 206 1712 176 178

N.S.

1 1.00 0.90 1.17 1.25 1.47 12.23 1.26 1.27

time (sec)

N/A 0.189 0.729 0.198 0.620 1.383 0.846 0.719 5.587

Problem 1207

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A A B C A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

230 230 535 281 312 509 6730 448 271

N.S.

1 1.00 2.33 1.22 1.36 2.21 29.26 1.95 1.18

time (sec)

N/A 0.243 4.625 0.305 0.601 1.413 1.375 0.795 7.819

Problem 1208

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A B B F(-2) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

239 239 327 422 539 907 0 830 466

N.S.

1 1.00 1.37 1.77 2.26 3.79 0.00 3.47 1.95

time (sec)

N/A 0.356 5.768 0.321 0.656 1.426 0.000 0.948 8.005

Problem 1209

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A A A C A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

190 190 160 221 229 305 2516 238 235

N.S.

1 1.00 0.84 1.16 1.21 1.61 13.24 1.25 1.24

time (sec)

N/A 0.333 1.301 0.234 0.641 1.613 1.373 0.987 5.776

Problem 1210

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A A A C A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

144 144 126 164 178 211 1712 177 177

N.S.

1 1.00 0.88 1.14 1.24 1.47 11.89 1.23 1.23

time (sec)

N/A 0.181 0.775 0.229 0.567 1.411 0.874 0.742 5.485

Problem 1211

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A A A C A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

103 103 108 117 126 137 1025 126 115

N.S.

1 1.00 1.05 1.14 1.22 1.33 9.95 1.22 1.12

time (sec)

N/A 0.086 0.159 0.219 0.530 0.812 0.633 0.571 5.600

Problem 1212

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A C A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

59 59 65 82 91 79 524 97 93

N.S.

1 1.00 1.10 1.39 1.54 1.34 8.88 1.64 1.58

time (sec)

N/A 0.049 0.122 0.176 0.559 1.243 0.471 0.469 5.494

Problem 1213

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A A A C A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

118 118 143 133 180 207 8053 201 173

N.S.

1 1.00 1.21 1.13 1.53 1.75 68.25 1.70 1.47

time (sec)

N/A 0.108 0.368 0.259 0.546 1.058 11.754 0.509 5.754

Problem 1214

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B B F(-2) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

183 183 302 202 389 766 0 542 309

N.S.

1 1.00 1.65 1.10 2.13 4.19 0.00 2.96 1.69

time (sec)

N/A 0.318 3.349 0.463 0.581 1.509 0.000 0.566 6.969

Problem 1215

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B B F(-2) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

279 279 529 309 808 1941 0 1111 609

N.S.

1 1.00 1.90 1.11 2.90 6.96 0.00 3.98 2.18

time (sec)

N/A 0.631 6.895 0.806 0.647 2.760 0.000 0.703 12.025

Problem 1216

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A A B C B B

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

285 285 1789 364 379 713 8928 589 347

N.S.

1 1.00 6.28 1.28 1.33 2.50 31.33 2.07 1.22

time (sec)

N/A 0.539 7.101 0.364 0.560 1.630 2.077 1.059 9.380

Problem 1217

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A A B C A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

223 223 538 281 314 500 6730 447 272

N.S.

1 1.00 2.41 1.26 1.41 2.24 30.18 2.00 1.22

time (sec)

N/A 0.253 4.792 0.277 0.550 1.659 1.501 0.834 7.752

Problem 1218

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A A B C B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

126 126 320 200 233 300 4258 331 208

N.S.

1 1.00 2.54 1.59 1.85 2.38 33.79 2.63 1.65

time (sec)

N/A 0.156 2.167 0.208 0.543 1.184 1.008 0.649 6.953

Problem 1219

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A A A C B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

111 111 189 141 181 228 2878 241 153

N.S.

1 1.00 1.70 1.27 1.63 2.05 25.93 2.17 1.38

time (sec)

N/A 0.109 2.249 0.209 0.532 1.329 0.890 0.542 5.609

Problem 1220

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B B F(-2) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

184 184 306 203 389 721 0 541 374

N.S.

1 1.00 1.66 1.10 2.11 3.92 0.00 2.94 2.03

time (sec)

N/A 0.357 2.237 0.392 0.544 1.630 0.000 0.581 7.355

Problem 1221

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B B F(-2) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

290 290 556 289 885 2231 0 1395 725

N.S.

1 1.00 1.92 1.00 3.05 7.69 0.00 4.81 2.50

time (sec)

N/A 0.707 6.948 0.679 0.626 2.905 0.000 0.678 10.380

Problem 1222

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B B F(-2) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

457 457 840 419 1842 4767 0 1759 1421

N.S.

1 1.00 1.84 0.92 4.03 10.43 0.00 3.85 3.11

time (sec)

N/A 1.243 7.300 1.387 0.693 4.388 0.000 0.867 34.607

Problem 1223

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A A B F(-2) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

406 406 2775 553 646 1259 0 1066 578

N.S.

1 1.00 6.83 1.36 1.59 3.10 0.00 2.63 1.42

time (sec)

N/A 0.530 7.050 0.495 0.619 1.242 0.000 1.205 10.251

Problem 1224

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A B B F(-2) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

240 240 327 421 534 870 0 830 466

N.S.

1 1.00 1.36 1.75 2.22 3.62 0.00 3.46 1.94

time (sec)

N/A 0.361 5.741 0.298 0.563 1.268 0.000 0.948 8.287

Problem 1225

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A A B F(-2) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

221 221 292 303 422 672 0 614 367

N.S.

1 1.00 1.32 1.37 1.91 3.04 0.00 2.78 1.66

time (sec)

N/A 0.276 4.308 0.274 0.572 1.141 0.000 0.745 7.415

Problem 1226

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A A B F(-2) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

177 177 244 208 327 491 0 422 279

N.S.

1 1.00 1.38 1.18 1.85 2.77 0.00 2.38 1.58

time (sec)

N/A 0.203 4.525 0.278 0.671 1.056 0.000 0.650 5.661

Problem 1227

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B B F(-2) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

286 286 409 311 806 1855 0 1112 719

N.S.

1 1.00 1.43 1.09 2.82 6.49 0.00 3.89 2.51

time (sec)

N/A 0.666 5.599 0.717 0.602 2.904 0.000 0.679 12.644

Problem 1228

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B B F(-2) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

457 457 833 419 1858 4817 0 1758 1417

N.S.

1 1.00 1.82 0.92 4.07 10.54 0.00 3.85 3.10

time (sec)

N/A 1.283 7.302 1.324 0.697 6.130 0.000 0.905 18.886

Problem 1229

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F F(-1) F F(-2) B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

209 209 194 1096 0 0 0 0 2500

N.S.

1 1.00 0.93 5.24 0.00 0.00 0.00 0.00 11.96

time (sec)

N/A 0.386 2.317 0.515 0.000 0.000 0.000 0.000 21.263

Problem 1230

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F B F F(-2) B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

157 157 149 890 0 16199 0 0 2500

N.S.

1 1.00 0.95 5.67 0.00 103.18 0.00 0.00 15.92

time (sec)

N/A 0.243 0.588 0.433 0.000 99.739 0.000 0.000 9.663

Problem 1231

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-2) B F F(-2) B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

122 122 120 632 0 8653 0 0 845

N.S.

1 1.00 0.98 5.18 0.00 70.93 0.00 0.00 6.93

time (sec)

N/A 0.154 0.147 0.449 0.000 11.891 0.000 0.000 7.649

Problem 1232

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-2) B F F(-2) B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

170 170 158 693 0 16728 0 0 2500

N.S.

1 1.00 0.93 4.08 0.00 98.40 0.00 0.00 14.71

time (sec)

N/A 0.329 0.340 0.554 0.000 102.595 0.000 0.000 9.764

Problem 1233

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-2) B F F(-2) B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

231 231 276 992 0 32681 0 0 2500

N.S.

1 1.00 1.19 4.29 0.00 141.48 0.00 0.00 10.82

time (sec)

N/A 0.539 2.077 0.516 0.000 240.135 0.000 0.000 11.425

Problem 1234

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B F(-2) F(-1) F F(-2) B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

342 342 747 1277 0 0 0 0 2500

N.S.

1 1.00 2.18 3.73 0.00 0.00 0.00 0.00 7.31

time (sec)

N/A 1.067 6.353 0.538 0.000 0.000 0.000 0.000 35.523

Problem 1235

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-1) F(-1) F F(-2) B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

256 256 247 1748 0 0 0 0 2500

N.S.

1 1.00 0.96 6.83 0.00 0.00 0.00 0.00 9.77

time (sec)

N/A 0.510 3.464 0.532 0.000 0.000 0.000 0.000 79.384

Problem 1236

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F F(-1) F F(-2) B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

195 195 202 1366 0 0 0 0 2500

N.S.

1 1.00 1.04 7.01 0.00 0.00 0.00 0.00 12.82

time (sec)

N/A 0.306 1.706 0.450 0.000 0.000 0.000 0.000 21.863

Problem 1237

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-2) F(-1) F F(-2) B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

150 150 140 918 0 0 0 0 2823

N.S.

1 1.00 0.93 6.12 0.00 0.00 0.00 0.00 18.82

time (sec)

N/A 0.215 0.560 0.419 0.000 0.000 0.000 0.000 17.414

Problem 1238

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-2) F(-1) F F(-2) B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

170 170 168 957 0 0 0 0 2500

N.S.

1 1.00 0.99 5.63 0.00 0.00 0.00 0.00 14.71

time (sec)

N/A 0.339 0.407 0.558 0.000 0.000 0.000 0.000 13.014

Problem 1239

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-2) F(-1) F F(-2) B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

239 239 316 1413 0 0 0 0 2500

N.S.

1 1.00 1.32 5.91 0.00 0.00 0.00 0.00 10.46

time (sec)

N/A 0.625 3.291 0.542 0.000 0.000 0.000 0.000 12.952

Problem 1240

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B F(-2) F(-1) F F(-2) B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

341 341 2093 1872 0 0 0 0 2500

N.S.

1 1.00 6.14 5.49 0.00 0.00 0.00 0.00 7.33

time (sec)

N/A 1.301 6.340 0.608 0.000 0.000 0.000 0.000 36.703

Problem 1241

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-1) F(-1) F F(-2) F(-1)

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

322 322 413 2491 0 0 0 0 -1

N.S.

1 1.00 1.28 7.74 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.634 6.210 0.503 0.000 0.000 0.000 0.000 0.000

Problem 1242

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F F(-1) F F(-2) B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

231 231 262 1892 0 0 0 0 2500

N.S.

1 1.00 1.13 8.19 0.00 0.00 0.00 0.00 10.82

time (sec)

N/A 0.409 2.144 0.483 0.000 0.000 0.000 0.000 68.218

Problem 1243

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-2) F(-1) F F(-2) B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

188 188 233 1251 0 0 0 0 2500

N.S.

1 1.00 1.24 6.65 0.00 0.00 0.00 0.00 13.30

time (sec)

N/A 0.300 1.130 0.454 0.000 0.000 0.000 0.000 34.414

Problem 1244

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-2) F(-1) F F(-2) B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

195 195 199 1278 0 0 0 0 2500

N.S.

1 1.00 1.02 6.55 0.00 0.00 0.00 0.00 12.82

time (sec)

N/A 0.614 0.591 0.555 0.000 0.000 0.000 0.000 13.247

Problem 1245

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-2) F(-1) F(-1) F(-2) B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

243 243 333 1863 0 0 0 0 2500

N.S.

1 1.00 1.37 7.67 0.00 0.00 0.00 0.00 10.29

time (sec)

N/A 0.768 5.120 0.539 0.000 0.000 0.000 0.000 16.399

Problem 1246

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B F(-2) F(-1) F(-1) F(-2) B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

355 355 2946 2485 0 0 0 0 2500

N.S.

1 1.00 8.30 7.00 0.00 0.00 0.00 0.00 7.04

time (sec)

N/A 1.295 6.472 0.546 0.000 0.000 0.000 0.000 44.603

Problem 1247

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F F(-1) F F(-2) B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

248 248 235 3444 0 0 0 0 2500

N.S.

1 1.00 0.95 13.89 0.00 0.00 0.00 0.00 10.08

time (sec)

N/A 0.492 3.447 0.432 0.000 0.000 0.000 0.000 16.985

Problem 1248

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F F(-1) F F(-2) B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

178 178 178 2772 0 0 0 0 3017

N.S.

1 1.00 1.00 15.57 0.00 0.00 0.00 0.00 16.95

time (sec)

N/A 0.290 1.106 0.473 0.000 0.000 0.000 0.000 9.566

Problem 1249

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F B F F(-2) B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

134 134 129 2010 0 14968 0 0 2287

N.S.

1 1.00 0.96 15.00 0.00 111.70 0.00 0.00 17.07

time (sec)

N/A 0.172 0.238 0.433 0.000 55.508 0.000 0.000 7.234

Problem 1250

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-2) B F F(-2) B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

102 102 101 1399 0 8324 0 0 2909

N.S.

1 1.00 0.99 13.72 0.00 81.61 0.00 0.00 28.52

time (sec)

N/A 0.114 0.152 0.462 0.000 4.676 0.000 0.000 7.353

Problem 1251

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-2) B F F(-2) B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

170 170 158 1468 0 23416 0 0 2500

N.S.

1 1.00 0.93 8.64 0.00 137.74 0.00 0.00 14.71

time (sec)

N/A 0.303 0.442 0.523 0.000 95.663 0.000 0.000 10.268

Problem 1252

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-2) B F F(-2) B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

244 244 258 2144 0 47721 0 0 2500

N.S.

1 1.00 1.06 8.79 0.00 195.58 0.00 0.00 10.25

time (sec)

N/A 0.614 2.432 0.558 0.000 174.501 0.000 0.000 15.261

Problem 1253

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F(-1) F(-1) F F(-2) B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

317 317 415 5655 0 0 0 0 2500

N.S.

1 1.00 1.31 17.84 0.00 0.00 0.00 0.00 7.89

time (sec)

N/A 0.635 6.360 0.514 0.000 0.000 0.000 0.000 23.382

Problem 1254

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F(-1) F(-1) F F(-2) B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

216 216 287 4572 0 0 0 0 2500

N.S.

1 1.00 1.33 21.17 0.00 0.00 0.00 0.00 11.57

time (sec)

N/A 0.351 1.842 0.533 0.000 0.000 0.000 0.000 13.180

Problem 1255

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F(-1) B F F(-2) B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

150 150 124 3311 0 35751 0 0 2500

N.S.

1 1.00 0.83 22.07 0.00 238.34 0.00 0.00 16.67

time (sec)

N/A 0.221 0.186 0.458 0.000 240.231 0.000 0.000 12.224

Problem 1256

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F(-2) B F F(-2) B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

138 138 113 2268 0 20798 0 0 2500

N.S.

1 1.00 0.82 16.43 0.00 150.71 0.00 0.00 18.12

time (sec)

N/A 0.172 0.202 0.437 0.000 36.059 0.000 0.000 11.430

Problem 1257

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-2) B F F(-2) B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

211 211 247 2353 0 62414 0 0 2500

N.S.

1 1.00 1.17 11.15 0.00 295.80 0.00 0.00 11.85

time (sec)

N/A 0.647 2.131 0.569 0.000 208.288 0.000 0.000 20.908

Problem 1258

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-2) F(-1) F F(-2) F(-1)

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

314 314 628 3448 0 0 0 0 -1

N.S.

1 1.00 2.00 10.98 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 1.020 6.269 0.596 0.000 0.000 0.000 0.000 0.000

Problem 1259

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F(-1) F(-1) F F(-2) B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

290 290 368 8858 0 0 0 0 2500

N.S.

1 1.00 1.27 30.54 0.00 0.00 0.00 0.00 8.62

time (sec)

N/A 0.717 3.662 0.550 0.000 0.000 0.000 0.000 35.673

Problem 1260

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F(-1) F(-1) F F(-2) B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

219 219 284 6646 0 0 0 0 2500

N.S.

1 1.00 1.30 30.35 0.00 0.00 0.00 0.00 11.42

time (sec)

N/A 0.461 1.588 0.494 0.000 0.000 0.000 0.000 24.497

Problem 1261

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F(-1) F(-1) F F(-2) B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

195 195 127 5088 0 0 0 0 2500

N.S.

1 1.00 0.65 26.09 0.00 0.00 0.00 0.00 12.82

time (sec)

N/A 0.343 0.217 0.514 0.000 0.000 0.000 0.000 22.063

Problem 1262

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F(-2) B F F(-2) B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

186 186 115 3236 0 35738 0 0 2500

N.S.

1 1.00 0.62 17.40 0.00 192.14 0.00 0.00 13.44

time (sec)

N/A 0.275 0.182 0.508 0.000 148.694 0.000 0.000 22.926

Problem 1263

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-2) F(-1) F F(-2) F(-1)

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

272 272 323 3329 0 0 0 0 -1

N.S.

1 1.00 1.19 12.24 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 1.029 5.215 0.575 0.000 0.000 0.000 0.000 0.000

Problem 1264

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B F(-2) F(-1) F F(-2) F(-1)

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

425 425 2536 5222 0 0 0 0 -1

N.S.

1 1.00 5.97 12.29 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 1.786 6.275 0.661 0.000 0.000 0.000 0.000 0.000

Problem 1265

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F(-1) F F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

337 337 565 0 0 0 0 0 -1

N.S.

1 1.00 1.68 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 2.843 6.029 180.000 0.000 0.000 0.000 0.000 0.000

Problem 1266

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F F F(-1) F F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

258 258 1518 0 0 0 0 0 -1

N.S.

1 1.00 5.88 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 1.640 6.121 180.000 0.000 0.000 0.000 0.000 0.000

Problem 1267

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F(-1) F F(-2) F(-1)

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

218 218 261 0 0 0 0 0 -1

N.S.

1 1.00 1.20 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.691 2.145 180.000 0.000 0.000 0.000 0.000 0.000

Problem 1268

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-2) F(-1) F F(-1) F(-1)

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

163 163 167 1278217828 0 0 0 0 -1

N.S.

1 1.00 1.02 7841827.17 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.145 0.187 291.364 0.000 0.000 0.000 0.000 0.000

Problem 1269

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F(-2) F(-1) F F(-1) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

206 206 224 0 0 0 0 0 -1

N.S.

1 1.00 1.09 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.509 1.738 180.000 0.000 0.000 0.000 0.000 0.000

Problem 1270

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F(-2) F(-1) F F(-1) F(-1)

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

280 280 266 0 0 0 0 0 -1

N.S.

1 1.00 0.95 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.814 4.858 180.000 0.000 0.000 0.000 0.000 0.000

Problem 1271

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F F F(-1) F F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

330 330 2566 0 0 0 0 0 -1

N.S.

1 1.00 7.78 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 3.187 6.144 180.000 0.000 0.000 0.000 0.000 0.000

Problem 1272

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B F F(-1) F F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

258 258 1526 1613618305 0 0 0 0 -1

N.S.

1 1.00 5.91 6254334.52 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 1.568 6.093 305.833 0.000 0.000 0.000 0.000 0.000

Problem 1273

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F(-1) F F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

218 218 292 0 0 0 0 0 -1

N.S.

1 1.00 1.34 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.823 1.667 180.000 0.000 0.000 0.000 0.000 0.000

Problem 1274

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F(-2) F(-1) F F(-1) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

213 213 231 0 0 0 0 0 -1

N.S.

1 1.00 1.08 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.562 1.929 180.000 0.000 0.000 0.000 0.000 0.000

Problem 1275

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F(-2) F(-1) F F(-1) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

277 277 264 0 0 0 0 0 -1

N.S.

1 1.00 0.95 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.889 3.346 180.000 0.000 0.000 0.000 0.000 0.000

Problem 1276

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F(-2) F(-1) F F(-1) F(-1)

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

391 391 498 0 0 0 0 0 -1

N.S.

1 1.00 1.27 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 1.420 6.268 180.000 0.000 0.000 0.000 0.000 0.000

Problem 1277

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F(-1) F F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

429 429 773 0 0 0 0 0 -1

N.S.

1 1.00 1.80 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 4.089 8.215 180.000 0.000 0.000 0.000 0.000 0.000

Problem 1278

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F(-1) F F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

339 339 550 0 0 0 0 0 -1

N.S.

1 1.00 1.62 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 2.841 6.704 180.000 0.000 0.000 0.000 0.000 0.000

Problem 1279

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F(-1) F F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

264 264 432 0 0 0 0 0 -1

N.S.

1 1.00 1.64 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 1.895 2.990 180.000 0.000 0.000 0.000 0.000 0.000

Problem 1280

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F F F(-1) F F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

273 273 1187 0 0 0 0 0 -1

N.S.

1 1.00 4.35 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 2.384 6.207 180.000 0.000 0.000 0.000 0.000 0.000

Problem 1281

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F(-2) F(-1) F F(-1) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

292 292 350 0 0 0 0 0 -1

N.S.

1 1.00 1.20 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 1.077 5.577 180.000 0.000 0.000 0.000 0.000 0.000

Problem 1282

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F(-2) F(-1) F F(-1) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

398 398 440 0 0 0 0 0 -1

N.S.

1 1.00 1.11 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 1.594 6.036 180.000 0.000 0.000 0.000 0.000 0.000

Problem 1283

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F(-1) F F(-1) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

264 264 438 0 0 0 0 0 -1

N.S.

1 1.00 1.66 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 1.849 3.425 180.000 0.000 0.000 0.000 0.000 0.000

Problem 1284

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F(-1) F F(-1) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

218 218 294 0 0 0 0 0 -1

N.S.

1 1.00 1.35 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.846 1.985 180.000 0.000 0.000 0.000 0.000 0.000

Problem 1285

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F(-2) F(-1) F F(-1) F(-1)

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

163 163 167 0 0 0 0 0 -1

N.S.

1 1.00 1.02 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.141 0.168 180.000 0.000 0.000 0.000 0.000 0.000

Problem 1286

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F(-1) F(-2) F(-1) F F(-1) F(-1)

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

163 163 166 0 0 0 0 0 -1

N.S.

1 1.00 1.02 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.137 0.167 180.000 0.000 0.000 0.000 0.000 0.000

Problem 1287

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F(-1) F F(-1) F(-1)

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

218 218 232 0 0 0 0 0 -1

N.S.

1 1.00 1.06 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.511 1.512 180.000 0.000 0.000 0.000 0.000 0.000

Problem 1288

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F(-1) F F(-1) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

295 295 308 0 0 0 0 0 -1

N.S.

1 1.00 1.04 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.851 2.219 180.000 0.000 0.000 0.000 0.000 0.000

Problem 1289

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F F(-1) F(-2) F(-1) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

356 356 1877 0 0 0 0 0 -1

N.S.

1 1.00 5.27 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 2.910 6.355 180.000 0.000 0.000 0.000 0.000 0.000

Problem 1290

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F F F(-1) F F(-1) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

273 273 1503 0 0 0 0 0 -1

N.S.

1 1.00 5.51 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 2.194 6.195 180.000 0.000 0.000 0.000 0.000 0.000

Problem 1291

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F(-2) F(-1) F F(-1) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

213 213 231 0 0 0 0 0 -1

N.S.

1 1.00 1.08 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.538 2.060 180.000 0.000 0.000 0.000 0.000 0.000

Problem 1292

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F(-2) F(-1) F F(-1) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

206 206 224 0 0 0 0 0 -1

N.S.

1 1.00 1.09 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.459 1.693 180.000 0.000 0.000 0.000 0.000 0.000

Problem 1293

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F(-1) F F(-1) F(-1)

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

218 218 243 0 0 0 0 0 -1

N.S.

1 1.00 1.11 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.493 1.115 180.000 0.000 0.000 0.000 0.000 0.000

Problem 1294

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F(-2) F(-1) F F(-1) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

301 301 349 0 0 0 0 0 -1

N.S.

1 1.00 1.16 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.848 4.949 180.000 0.000 0.000 0.000 0.000 0.000

Problem 1295

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F(-1) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

417 417 601 0 0 0 0 0 -1

N.S.

1 1.00 1.44 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 1.321 6.482 180.000 0.000 0.000 0.000 0.000 0.000

Problem 1296

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F(-1) F(-1) F(-1) F(-2) F(-1) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

470 470 2261 0 0 0 0 0 -1

N.S.

1 1.00 4.81 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 4.619 6.753 180.000 0.000 0.000 0.000 0.000 0.000

Problem 1297

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F F F(-1) F(-2) F(-1) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

347 347 1883 0 0 0 0 0 -1

N.S.

1 1.00 5.43 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 4.211 6.426 180.000 0.000 0.000 0.000 0.000 0.000

Problem 1298

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F(-2) F(-1) F F(-1) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

292 292 350 0 0 0 0 0 -1

N.S.

1 1.00 1.20 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 1.053 5.844 180.000 0.000 0.000 0.000 0.000 0.000

Problem 1299

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F(-2) F(-1) F F(-1) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

276 276 264 0 0 0 0 0 -1

N.S.

1 1.00 0.96 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.876 3.150 180.000 0.000 0.000 0.000 0.000 0.000

Problem 1300

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F(-2) F(-1) F F(-1) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

283 283 266 0 0 0 0 0 -1

N.S.

1 1.00 0.94 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.798 4.932 180.000 0.000 0.000 0.000 0.000 0.000

[next] [prev] [prev-tail] [front] [up]